On Applicability of Formal Methods and Tools to Dependable Services
نویسندگان
چکیده
As a variety of digital services are provided through networks, more and more efforts are made to ensure dependability of software behavior implementing services. Formal methods and tools have been considered as promising means to support dependability in complex software systems during the development. On the other hand, there have been serious doubts on practical applicability of formal methods. This paper overviews the present state of formal methods and discusses their applicability, especially focusing on two representative methods (SPIN and B Method) and their recent industrial applications. This paper also discusses applications of formal methods to dependable networked software. key words: dependability, software engineering, formal methods
منابع مشابه
Classi cation of Dependable Real-time Protocols : A Formal-Methods Perspective for Validation
Computers used for critical applications utilize dependable and real-time protocols to deliver reliable and timely services. The inherently large state-space covered by these protocols limits the e ectiveness of the conventional veri cation and validation (V&V) techniques. A commonly used validation technique is that of fault injection (FI). Although a wide variety of techniques and tools exist...
متن کاملIssues about the Adoption of Formal Methods for Dependable Composition of Web Services
Web Services provide interoperable mechanisms for describing, locating and invoking services over the Internet; composition further enables to build complex services out of simpler ones for complex B2B applications. While current studies on these topics are mostly focused from the technical viewpoint on standards and protocols, this paper investigates the adoption of formal methods, especially ...
متن کاملCOMPUTING SCIENCE Issues about the Adoption of Formal Methods for Dependable Composition of Web Services
Web Services provide interoperable mechanisms for describing, locating and invoking services over the Internet; composition further enables to build complex services out of simpler ones for complex B2B applications. While current studies on these topics are mostly focused from the technical viewpoint on standards and protocols, this paper investigates the adoption of formal methods, especially ...
متن کاملAn Approach to Simplifying Formal Veri cations of Protocols through Identi cation of Modular Blocks in Redundancy Management Protocols
Dependable system designs typically use redundant resources and redundancy management protocols to deliver reliable and timely services. For such systems, a considerable eeort gets expended in ascertaining the correctness of the system operations. In recent years, formal methods have been extensively used for proving the correctness of fault-tolerant system design and implementation 5]. We have...
متن کاملModels, solution, methods and their applicability of dynamic location problems (DLPs) (a gap analysis for further research)
Determining the best location to be profitable for the facility’s lifetime is the important decision of public and private firms, so this is why discussion about dynamic location problems (DLPs) is a critical significance. This paper presented a comprehensive review from 1968 up to most recent on published researches about DLPs and classified them into two parts. First, mathematical models deve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IEICE Transactions
دوره 92-B شماره
صفحات -
تاریخ انتشار 2009